Simple fix to getdomaininfo cpu_time calculation for
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Mon, 8 Aug 2005 18:43:57 +0000 (18:43 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Mon, 8 Aug 2005 18:43:57 +0000 (18:43 +0000)
multi-vcpu guests. From Josh Triplett.

xen/common/dom0_ops.c

index d4d984dc046e90c83c73effa3e5d02327480896c..d189528df2a71804ab33c630e77f507c9edb045f 100644 (file)
@@ -70,8 +70,7 @@ static void getdomaininfo(struct domain *d, dom0_getdomaininfo_t *info)
             flags &= ~DOMFLAGS_BLOCKED;
         if ( v->vcpu_flags & VCPUF_running )
             flags |= DOMFLAGS_RUNNING;
-        if ( v->cpu_time > cpu_time )
-            cpu_time += v->cpu_time;
+        cpu_time += v->cpu_time;
         vcpu_count++;
     }